Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Floating point
• Fluctuat
• Abstract interpretation
• Rounding
• Interval arithmetic
• Loss of significance
• NaN
• Common logarithm
• Lookup table
• Affine arithmetic
• Signed zero

リモートセンシングと地理情報を用いた災害ポテンシャルの判読 近藤昭彦 * Interpretation of Disaster Potential by Remote Sensing and Geographic Information Kondoh Akihiko* Abstract The Japane

Source URL: dbx.cr.chiba-u.jp

Three Measurement Problems Tim Maudlin ABSTRACT. The aim of this essay is to distinguish and analyze several difficulties confronting attempts to reconcile the fundamental

Source URL: cqi.inf.usi.ch

• Quantum measurement
• Quantum mechanics
• Interpretations of quantum mechanics
• De BroglieBohm theory
• Hidden variable theory
• Wave function
• Mathematical formulation of quantum mechanics
• GhirardiRiminiWeber theory
• Measurement problem
• Many-worlds interpretation
• Quantum state
• Introduction to quantum mechanics

Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International

Source URL: yices.csl.sri.com

• Model theory
• Logic in computer science
• Semantics
• Formal languages
• Logical truth
• Satisfiability modulo theories
• Interpretation
• Quantifier elimination
• True quantified Boolean formula
• Quantifier
• Substitution
• Well-formed formula

Abstract Interpretation: Exercises for day 5 [Note: you are welcome to solve these exercises in groups of 2] February 6, Define the backward collecting semantics of the three counter machine 2. Abstract the backw

Source URL: janmidtgaard.dk

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint
• Program optimization
• Concolic testing
• Constraint logic programming

Abstract Interpretation, Re-Reloaded and Numerical and Structural Abstractions Jan Midtgaard Winter School, Day 4 http://janmidtgaard.dk/aiws15/

Source URL: janmidtgaard.dk

• Abstract interpretation
• Radhia Cousot
• Galois connection
• variste Galois

Case Studies: Abstract Debugging and Flight Software Verification Jan Midtgaard Winter School, Day 5 http://janmidtgaard.dk/aiws15/

Source URL: janmidtgaard.dk

• Abstract interpretation
• Record
• Video game bot

KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint satisfaction problem
• Paul Klee

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace